<!DOCTYPE html>
<!-- saved from url=(0022)https://lambdacalc.io/ -->
<html lang="en">
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />

    <title>Lambda Calculus Calculator</title>
    <link rel="stylesheet" type="text/css" href="style.css" />
    <meta name="viewport" content="width=device-width, initial-scale=1.0" />
    <meta
      name="description"
      content="Lambda Calculus Calculator supporting the reduction
        of lambda terms using beta- and delta-reductions as well as defining rewrite rules
        that will be used in delta reductions. Terms can be reduced manually or with an 
        automatic reduction strategy."
    />
  </head>

  <body>
    <div id="main"></div>
    <script src="bundle.js"></script>  
</body>
</html>
